10 元券数学英文英语读物￥1601去看看世纪华典图书专营店发布了证明论 第二版 Dover数学 Proof Theory: Second Edition 英文原版数学知识读物 进口英语书籍80 元券预售ConstructiveInfinityTheory￥18920去看看中国国际图书专营店发布了【预售】Truth, Proof and Infinity: A Theory of Constructive34 元券预售StructuralTheoryProof￥5220去看看中国国际图书专营店发布了【预售】Structural Proof Theory160 元券预售HandbookTheoryProof￥19190去看看中国国际图书专营店发布了【预售】Handbook of Proof Theory80 元券Proof预售InterpretationsApplied￥11370去看看中国国际图书专营店发布了【预售】Applied Proof Theory: Proof Interpretations and80 元券预售ComputationalArithmeticTheory￥12210去看看中国国际图书专营店发布了【预售】Arithmetic, Proof Theory, and Computational80 元券预售SemanticsTheoryProof￥15630去看看中国国际图书专营店发布了【预售】The Semantics and Proof Theory of the Logic of80 元券预售TheoryProofModal￥15630去看看中国国际图书专营店发布了【预售】Proof Theory of Modal Logic80 元券预售SelectionTheoryPapers￥14260去看看中国国际图书专营店发布了【预售】Proof Theory: A Selection of Papers from the Leeds80 元券预售ResolutionAlgebraicSystems￥10150去看看中国国际图书专营店发布了【预售】Resolution Proof Systems: An Algebraic Theory80 元券预售CombinatorsTheoryTerms￥10150去看看中国国际图书专营店发布了【预售】Combinators, ?-Terms and Proof Theory80 元券预售DirectedTheoryProof￥10150去看看中国国际图书专营店发布了【预售】Goal-Directed Proof Theory80 元券预售SequentCalculiRelated￥12760去看看中国国际图书专营店发布了【预售】Proof Theory: Sequent Calculi and Related Formali80 元券预售TheoryLogicsProof￥12340去看看中国国际图书专营店发布了【预售】Proof Theory for Fuzzy Logics80 元券预售SoftcoverAdvancesTheory￥10150去看看中国国际图书专营店发布了【预售】Advances in Proof Theory (Softcover ...34 元券证明形式理论类型￥8910去看看中国国际图书专营店发布了Type Theory and Formal Proof 类型理论与形式证明34 元券现货AlgebraTheoryProof￥4050去看看中国国际图书专营店发布了现货 Proof Theory and Algebra in Logic34 元券预售IntroductionTheoryProof￥7870去看看中国国际图书专营店发布了【预售】Proof Theory: An Introduction80 元券Abstract预售AxiomatizationsUniversal￥17100去看看中国国际图书专营店发布了【预售】Abstract Sequent Axiomatizations of Finitary Universal Horn Theories: Abstract Proof Theory Versus General...160 元券Proof预售ReductiveSearch￥21840去看看中国国际图书专营店发布了【预售】Reductive Logic and Proof-Search: Proof Theory34 元券预售UnificationGeneralTheory￥5140去看看中国国际图书专营店发布了【预售】A Proof Theory for General Unification80 元券ProofInterpretationsMathematics预订￥13440去看看中国国际图书专营店发布了【预订】Applied Proof Theory: Proof Interpretations and their Use in Mathematics34 元券Computational预订TheoryLogic￥5140去看看中国国际图书专营店发布了【预订】Computational Logic and Proof Theory80 元券预订TheoryProof￥13440去看看中国国际图书专营店发布了【预订】Proof Theory34 元券Theoretic预订ApproachTheory￥5140去看看中国国际图书专营店发布了【预订】A Model–Theoretic Approach to Proof Theory100 元券TheoryComputabilityIntroductionComplexity￥16740去看看上海外文图书音像专营店发布了【按需印刷】 A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity80 元券9783030712570SemanticsClassical预订￥14530去看看中国国际图书专营店发布了【预订】Arnon Avron on Semantics and Proof Theory of Non-Classical Logics 978303071257010 元券原版英文英语英文版￥1881去看看华研图书专营店发布了英文原版 Proof Theory: Second Edition 证明论 第二版 Dover数学 英文版 进口英语原版书籍50 元券原版英文英语英文版￥7780去看看华研图书专营店发布了类型论和形式证明 英文原版 Type Theory and Formal Proof Rob Nederpelt 精装 英文版 进口英语原版书籍30 元券9781107036505预订TheoryFormal￥8600去看看国纯图书专营店发布了预订 高被引Type Theory and Formal Proof 978110703650534 元券9780557089956Classical预订Equation￥5810去看看中国国际图书专营店发布了预订 ’heart of the God’ with ’grand Proof Equation’-A Classical Approach to Quantum Theory: 9780557089956211 元券9780792341208TheoryProofModal￥15450去看看澜瑞图书专营店发布了【3-4周达】Proof Theory of Modal Logic [9780792341208]42 元券Logic9781848902671FathomingSemantics￥3080去看看澜瑞图书专营店发布了【3-4周达】Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic [9781848902671]67 元券9780557089956ClassicalEquationApproach￥4860去看看澜瑞图书专营店发布了【3-4周达】'Heart of the God' with 'Grand Proof Equation'-A Classical Approach to Quantum Theory [9780557089956]27 元券EditionSecond9780486490731Theory￥1960去看看澜瑞图书专营店发布了【3-4周达】Proof Theory: Second Edition (Second Edition) [9780486490731]207 元券9780821845202MathematicalIntuitionismIntroduction￥15130去看看澜瑞图书专营店发布了【3-4周达】Mathematical Intuitionism: Introduction to Proof Theory [9780821845202]72 元券9780521068420StructuralTheoryProof￥5250去看看澜瑞图书专营店发布了【3-4周达】Structural Proof Theory [9780521068420]210 元券9781466564664ApplicationsMathematicsFormalisms￥15380去看看澜瑞图书专营店发布了【3-4周达】Discrete Mathematics Its Applications: Proof Theory: Sequent Calculi and Related Formalisms [9781466564664]113 元券9781470470272IntroductionThroughNumber￥8280去看看澜瑞图书专营店发布了【3-4周达】Introduction to Proof Through Number Theory [9781470470272]149 元券Softcover9783319805139Advancesoriginal￥10900去看看澜瑞图书专营店发布了【3-4周达】Advances in Proof Theory (Softcover reprint of the original 1st ed. 2016) (Softcover repri... [9783319805139]77 元券9781461267584UnificationGeneralTheory￥5600去看看澜瑞图书专营店发布了【3-4周达】A Proof Theory for General Unification [9781461267584]56 元券9789811379963AlgebraTheoryProof￥4030去看看澜瑞图书专营店发布了【3-4周达】Proof Theory and Algebra in Logic [9789811379963]103 元券Factorizations9783642219184TechniquesFactors￥7480去看看澜瑞图书专营店发布了【3-4周达】Factors and Factorizations of Graphs : Proof Techniques in Factor Theory [9783642219184]183 元券ProofInterpretations9783642096273Mathematics￥13380去看看澜瑞图书专营店发布了【3-4周达】Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783642096273]120 元券9781107036505IntroductionTheoryFormal￥8780去看看澜瑞图书专营店发布了【3-4周达】Type Theory and Formal Proof: An Introduction [9781107036505]72 元券9786139975532ConstructionDifficulties预订￥5260去看看澜瑞图书专营店发布了预订 First Year Students' Difficulties in Proof Construction in Set Theory [9786139975532]180 元券9781402094088TheoryLogicsProof￥13180去看看澜瑞图书专营店发布了【3-4周达】Proof Theory for Fuzzy Logics [9781402094088]171 元券Proof9789811236471ComputationMathematics￥12510去看看澜瑞图书专营店发布了【3-4周达】Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extractio... [9789811236471]183 元券ProofInterpretations9783540775324Mathematics￥13380去看看澜瑞图书专营店发布了【3-4周达】Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783540775324]10 元券原版英文英语英文版￥1880去看看大成文汇图书专营店发布了英文原版 Proof Theory: Second Edition 证明论 第二版 Dover数学 英文版 进口英语原版书籍178 元券9789048181216TheoryLogicsProof￥13000去看看澜瑞图书专营店发布了【3-4周达】Proof Theory for Fuzzy Logics [9789048181216]10 元券英文原版证明进口￥1880去看看通博图书专营店发布了Proof Theory: Second Edition 证明论 第二版 Dover数学进口原版英文书籍80 元券9780192895936Introduction预订Theory￥14950去看看中国国际图书专营店发布了【预订】An Introduction to Proof Theory 9780192895936144 元券9789027703057CombinatorsTheoryTerms￥10540去看看澜瑞图书专营店发布了【3-4周达】Combinators, λ-Terms and Proof Theory [9789027703057]80 元券9783030712600SemanticsClassical预订￥14530去看看中国国际图书专营店发布了【预订】Arnon Avron on Semantics and Proof Theory of Non-Classical Logics 9783030712600108 元券9783540518426IntroductionTheoryProof￥7860去看看澜瑞图书专营店发布了【3-4周达】Proof Theory: An Introduction [9783540518426]10 元券英文原版证明Edition￥1880去看看瑞雅图书专营发布了Proof Theory: Second Edition证明论 第二版 Dover数学 英文原版10 元券原版英文英语英文版￥1880去看看诚研图书专营店发布了英文原版 Proof Theory: Second Edition 证明论 第二版 Dover数学 英文版 进口英语原版书籍80 元券9789048155262预订DirectedTheory￥10150去看看中国国际图书专营店发布了预订 Goal-Directed Proof Theory: 978904815526284 元券E.9783540648635introductionHrushovski's￥6140去看看澜瑞图书专营店发布了【3-4周达】Model Theory and Algebraic Geometry : An introduction to E. Hrushovski's proof of the geom... [9783540648635]
![【3-4周达】Proof Theory of Modal Logic [9780792341208]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01ipByWO28LaNHjqbYZ_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic [9781848902671]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN016c8OVT28LaMeQyi24_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】'Heart of the God' with 'Grand Proof Equation'-A Classical Approach to Quantum Theory [9780557089956]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01weuCJl28LaM39Lb4d_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Proof Theory: Second Edition (Second Edition) [9780486490731]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01nIM4KE28LaNDGgh7G_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Mathematical Intuitionism: Introduction to Proof Theory [9780821845202]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01L1iSBN28LaM4IB35q_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Structural Proof Theory [9780521068420]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01TuILzn28LaM14z761_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Discrete Mathematics Its Applications: Proof Theory: Sequent Calculi and Related Formalisms [9781466564664]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN0154qKhF28LaMZtiOUO_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Introduction to Proof Through Number Theory [9781470470272]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01BtdWXj28LaMZSdfFH_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Advances in Proof Theory (Softcover reprint of the original 1st ed. 2016) (Softcover repri... [9783319805139]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01fs4SE728LaMfSaNKt_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】A Proof Theory for General Unification [9781461267584]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01gIc3kx28LaNG2qr3Q_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Proof Theory and Algebra in Logic [9789811379963]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01kaEc2A28LaNEvTMLu_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Factors and Factorizations of Graphs : Proof Techniques in Factor Theory [9783642219184]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01cRiVYG28LaNFCmrE9_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783642096273]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01e51o1o28LaNHGsvCV_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Type Theory and Formal Proof: An Introduction [9781107036505]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01iA5hlq28LaMR0Eul9_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![预订 First Year Students' Difficulties in Proof Construction in Set Theory [9786139975532]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01vBYsjI28LaMnYUgV4_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Proof Theory for Fuzzy Logics [9781402094088]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01wyMP7e28LaNGueZqw_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extractio... [9789811236471]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN011v3wa028LaMntoDS6_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783540775324]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01KxWoed28LaNEV1cW1_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Proof Theory for Fuzzy Logics [9789048181216]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01NIVSyS28LaMhqlQvw_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Combinators, λ-Terms and Proof Theory [9789027703057]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01JYlybV28LaNCK91Ud_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Proof Theory: An Introduction [9783540518426]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01fRuQBG28LaNF15VDd_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Model Theory and Algebraic Geometry : An introduction to E. Hrushovski's proof of the geom... [9783540648635]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01YQOc7i28LaNECcJg0_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)